АЛГОРИТМ ВЕРИФИКАЦИИ СТРУКТУРЫ ТРЕХМЕРНОГО АДАПТИВНОГО ПРИЛОЖЕНИЯ

Евсеева Юлия Игоревна, аспирант, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), shymoda@mail.ru

004.94

Актуальность и цели. Вопрос создания автоматизированной системы синтеза трехмерных адаптивных программ (ТРАП) довольно актуален в настоящее время. Данная система особенно полезна в сфере образования, так как позволит преподавателям, не имеющим навыков программирования, самостоятельно разрабатывать тренажеры и обучающие программы, использующие преимущества трехмерной графики и возможность адаптации к ученику. Однако так как такая система подразумевает работу с неопытным пользователем, необходимо введение методов верификации составленных им алгоритмических решений. Цель данного исследования – разработка таких методов на основе математической модели ТРАП, используемой в предлагаемой системе.
Материалы и методы. Для решения поставленной задачи был применен математический аппарат теории графов, в частности гиперграфовое представление структуры ТРАП.
Результаты. Разработанный алгоритм является модификацией алгоритма полного обхода ориентированного гиперграфа. Формализованы основные процедуры работы с частичными конфигурациями – добавление и удаление произвольных вершин, завершение частичной конфигурации и преобразование ее в полноценную путем добавления недостающих вершин из головных множеств гиперребер. Разработанный алгоритм также позволяет эффективно обрабатывать последовательность конфигураций. Применение алгоритма позволяет находить и исправлять ошибки, допускаемые непрофессиональным пользователем при проектировании трехмерной адаптивной программы.
Выводы. Разработанный алгоритм позволяет не только обнаружить неточности, допущенные пользователем в ходе проектирования логической структуры, но и внести в некорректную конфигурацию соответствующие исправления.

Ключевые слова

трехмерное адаптивное приложение, ориентированный гиперграф, проектирование программного обеспечения, моделирование изменчивости, итерационный алгоритм верификации.

 Скачать статью в формате PDF

1. Apel, S. Feature-Oriented Software Product Lines: concepts and implementation / S. Apel, D. Batory, C. Kästner, G. Saake. – Berlin : Springer, 2013. – C. 36–45.
2. Czarnecki, K. Feature Diagrams and Logics: There and Back Again / K. Czarnecki, A. Wasowski // SPLC '07 Proceedings of the 11th International Software Product Line. – Washington, USA : IEEE Computer Society Washington, 2007. – P. 68–70.
3. Бождай, А. С. Моделирование изменчивости в автоматизированном проектировании адаптивных обучающих программ / А. С. Бождай, Ю. И. Евсеева // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2015. – № 1 (33). – C. 5–18.
4. Емеличев, В. А. Лекции по теории графов / В. А. Емеличев, О. И. Мельников, В. И. Сарванов, Р. И. Тышкевич. – М. : Наука, 1990. – C. 90–97.